Study on the Cost/Benefit/Optimization of Software Safety Test
نویسندگان
چکیده
Although the safety-critical system has high demand on safety, the cost of software test therefore must be taken account of. In the test of railway computer interlocking software carried out, the safety test for a station software last several months, therefore, in order to reduce the test time, it is practical to choose functions from the function set to test through optimization. Software safety test is realized by running testing cases at the cost of labor and time. It is expected to detect dangerous function defects and reduce system loss to gain benefit. Optimization strategy is a best choice to consider testing cases.
منابع مشابه
Optimal Design and Benefit/Cost Analysis of Reservoir Dams by Genetic Algorithms Case Study: Sonateh Dam, Kordistan Province, Iran
This paper presents a method concerning the integration of the benefit/cost analysis and the real genetic algorithm with various elements of reservoir dam design. The version 4.0 of HEC-RAS software and Hydro-Rout models have been used to simulate the region and flood routing in the reservoir of the dam, respectively. A mathematical programming has been prepared in MATLAB software and linked wi...
متن کاملMULTI-OBJECTIVE OPTIMIZATION OF TIME-COST-SAFETY USING GENETIC ALGORITHM
Safety risk management has a considerable effect on disproportionate injury rate of construction industry, project cost and both labor and public morale. On the other hand time-cost optimization (TCO) may earn a big profit for project stakeholders. This paper has addressed these issues to present a multi-objective optimization model to simultaneously optimize total time, total cost and overall ...
متن کاملA Model for Runway Landing Flow and Capacity with Risk and Cost Benefit Factors
As the demand for the civil aviation has been growing for decades and the system becoming increasingly complex, the use of systems engineering and operations research tools have shown to be of further use in managing this system. In this study, we apply such tools in managing landing operations on runways (as the bottleneck and highly valuable resources of air transportation networks) to handle...
متن کاملApplication of MCAT in Optimizing and Prioritizing Dryland Allocation Based on the Amount of Chemical Fertilizer and Pesticides (A Case Study: Gonbadkavoos County)
Agriculture production with high quality and adequate income for farmers and the least harmful effects in environment are the main objectives of agriculture optimization. The main objective of this study was ranking, optimization and land allocation of Gonbadkavoos’s Drylands for strategic products such as wheat, barley, oilseed rape and soybean under environment and socio-economic scenarios. ...
متن کاملGenetic Algorithm-Based Optimization Approach for an Uncapacitated Single Allocation P-hub Center Problem with more realistic cost structure
A p-hub center network design problem is definition of some nodes as hubs and allocation of non-hub nodes to them wherein the maximum travel times between any pair of nodes is minimized. The distinctive feature of this study is proposing a new mathematical formulation for modeling costs in a p-hub center problem. Here, instead of considering costs as a linear function of distance, for the first...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003